proof tree中文是什么意思

发音:

中文翻译
造句

证明树

proof n. 1.证明；证据；【法律】证件；【法律】(口头或书面 ...
tree n. 1.树〔主要指乔木，也可指较大的灌木〕。 ★玫瑰可 ...
resolution proof tree 分解证明树
-proof 后缀表示“耐，防(等)”：acid-proof 耐酸的。Air-proof 密封的。 Dust-proof 防尘的。 Fire-proof 防火的。 Radar-proof 反雷达的。 Slander-proof 听了坏话不会生气的。 Sound-proof 隔音的。 Water-proof 防水的。
a proof 防原子的
a-proof 防原子的
in proof of 作...的证据
proof n. 1.证明；证据；【法律】证件；【法律】(口头或书面)证词，证言。 2.检验，考验；验算；检定的品质[强度等]。 3.试管。 4.【印刷】校样，印样。 5.(酒精的)标准强度。 6.(甲胄等的)耐力，坚牢强度，不贯穿性。 7.【摄影】样片；样张。 8.[Scot.] 审问。 9.【数学】证，证明，证法。 The proof of the pudding is in the eating. 布丁好坏一吃即知；空谈不如实验。 Here is proof positive. 有确实证据。 a foul proof 错字很多的校样。 a foundry proof (压型前的)清样。 an artist's [engraver's] proof 版面印样。 stand a severe proof 经受严格的考验。 afford proof of 提供证据。 armour of proof 戳不通的坚牢的铠甲。 below proof 不合格。 bring [put] to the proof 试，试验。 have proof of shot 能防弹，能避弹。 in proof of 作…的证据。 proof positive of his intention 他的企图的确证。 read the proof 校对。 adj. 1.试验过的，有保证的；(酒)合标准的，规定的。 2.校样的。 3.(子弹等)不入的，耐…的，防…的。 a proof coin 标准货币，制钱。 a proof sample 样品。 proof against the severest weather 经得起任何酷烈天气的。 proof against the pricks of all temptations 不为任何诱惑所动的。 vt. 使经得住，使(布等)耐久[不漏水(等)]。 proofed cloth 防水布。 adj. -less 无证据的。
proof of will 遗嘱证明, 遗嘱认证
a tree 树状; 一棵树; 一蔸树
in a tree 在树上
in the tree 在树上（非树本身）
in tree 内树型; 入树
into tree 放在树中
on the tree 长在树上的，如果实一类的。; 在树上(本身生出的); 在树上（果实等）
or tree 或树
s tree 无私奉献的树
tree n. 特里〔姓氏〕。 n. 1.树〔主要指乔木，也可指较大的灌木〕。 ★玫瑰可以称为 bush, 也可以称为 tree. 2.木料，木材；木构件；〔古语〕绞首台；〔the tree〕(钉死耶稣的)十字架；鞋楦。 3.树形(物)，世系图，家系 (＝family tree)；【数学】树(形)；【化学】树状晶体。 a banana tree 香蕉树。 an axle-tree 心棒，轴料。 a boot-tree 靴楦[型]。 a saddle-tree 鞍架。 at the top of the tree 在最高地位。 tree of Buddha 菩提树。 tree of heaven 臭椿。 tree of knowledge (of good and evil) 【圣经】知道善恶的树，智慧之树。 tree of life 生命之树，生命力的源泉【植物；植物学】金钟柏。 up a tree 〔口语〕进退两难，不知所措。 vt. 赶(猎兽等)上树躲避；〔口语〕使处于困境；穷追；把鞋型插入(鞋内)。
flame proof = flame-proof 防火的
proof sheet; proof 红样
avenue tree, street tree 行道树
dependency tree, dependent tree 依存关系树
embedding of tree in another tree 一树嵌入另一树中
genealogical tree(family-tree) 系谱树；系统树
older tree and famous tree 古树名木

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

Many people research how to find value of y from resolution proof trees
有许多人研究从归结证明树确定y的值的方法。
It extracts process information from the proof tree by analyzing every node of resolution proof tree to extract procedure . and the partial correctness of the extracted procedure is proved
这一方法的特点是，抽取算法的时间、空间复杂度都是线性的，并且抽取算法本身十分简单，易于实现。